821. Unifying theories of programming
پدیدآورنده: Andrew Butterfield (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer programming, Congresses.,Computer programming.,Ordinateurs-- Programmation-- Congrès.
رده :
QA76
.
6
822. Unifying theories of programming
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer programming ; Congresses. ;
823. Unifying theories of programming :
پدیدآورنده: Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer programming -- Congresses.,computerkunde.,software engineering.
رده :
QA76
.
6
B875
2013
824. Vision, modeling, and visualization 2000
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه علوم پزشكی اصفهان (اصفهان)
موضوع: Visual programming (Computer science)- Congresses,Vision- Data processing- Congresses,Visualization- Data processing- Congresses,Object-oriented programming (Computer science)- Congresses
رده :
QA76
.
65
.
I5
2000
825. Visualization in programming : 5th Interdisciplinary Workshop in Informatics and Psychology, Schعrding, Austria, May 20-23, 1986
پدیدآورنده: P. Gorny, M.J. Tauber )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Visual programming )Computer science(
رده :
QA
76
.
L28
Vol
.
282
826. WCFLP'05 : proceedings of the ACM SIGPLAN 2005: Workshop on Curry and Functional Logic Programming, September 29, 2005, Tallinn, Estonia
پدیدآورنده: sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages )SIGPLAN(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Functional programming languages,Congresses ، Functional programming )Computer science(
رده :
QA
76
.
62
.
A37
2005
827. Web reasoning and rule systems
پدیدآورنده: Markus Krötzsch, Umberto Straccia (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Data structures (Computer science), Congresses,Logic programming, Congresses,Rule-based programming, Congresses,Semantic Web, Congresses
رده :
TK5105
.
88815
.
R8
2012eb
828. based distributed systems-Formal methods for open object
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: oriented programming (Computer science) ; Congresses. ; -Electronic data processing ; Distributed processing ; Congresses. ; Object
829. category theory and computer science:6th international conference,CTCS,95,Cambridge ,united kingdom,Augest 7-11,1995
پدیدآورنده: DAvid Pitt,David E.Rydehead,Peter Johnstone,eds
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: computer programming--congresses,categories)mathematics(-congreses
رده :
QA
76
.
6
.
B53
1995
830. concurrency theory-Concur 2008
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Parallel processing (Electronic computers) ; Congresses. ; Parallel programming (Computer science) ;
831. embedded world 2003 conference: Grundlagen, Architekturen, Werkzeuge and Losungen 18 - 20 ,Februar
پدیدآورنده:
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: congresses ، Embedded computer systems - programming,congresses ، computer software - development
832. oriented programming-object--ECOOP 2010
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: oriented methods (Computer science) ; Congresses. ; -oriented programming (Computer science) ; Congresses. ; Object-Object
